Nederlands vlotuitputting (de) Frans épuisement du bain(m) (l') Duits Flottenausziehen (das) Engels liquor exhaustion:bath exhaustion